<?php
namespace Main;

include 'server.php';

date_default_timezone_set('Europe/Budapest');

$server = new WsServer('localhost', 9000);

#eof
